SMT Spatio-Temporal Planning
نویسندگان
چکیده
Solving real planning problems requires to consider spatial and temporal information. Indeed, to be solved more efficiently many real world problems need to take the action duration, the instants of effects occurrences, the instants of requiring preconditions. . . and the space in which the mission is accomplished by defining the different actions zones and know the path between these zones into account. In this paper we are interested in planning problems which consider spatial and temporal dimensions. To our knowledge there is no model expressing both spatial and temporal dimensions in planning problems. The main contribution of this paper is to present an approach allowing the resolution of spatiotemporal planning problems. For this purpose we define a new SMT (Sat Modulo Theory) encoding rules for spatio-temporal planning. This new code can compile and solve spatio-temporal planning problems for which all solutions require simultaneous actions in a 2D space.
منابع مشابه
Spatio-temporal analysis of diurnal air temperature parameterization in Weather Stations over Iran
Diurnal air temperature modeling is a beneficial experimental and mathematical approach which can be used in many fields related to Geosciences. The modeling and spatio-temporal analysis of air Diurnal Temperature Cycle (DTC) was conducted using data obtained from 105 synoptic stations in Iran during the years 2013-2014 for the first time; the key variable for controlling the cosine term i...
متن کاملAssessment of Neonate's Congenital Hypothyroidism Pattern Using Poisson Spatio-temporal Model in Disease Mapping under the Bayesian Paradigm during 2011-18 in Guilan, Iran
Background: Congenital Hypothyroidism (CH) is one of the reasons for mental retardation and defective growth in neonates. It can be treated if it is diagnosed early. The congenital hypothyroidism can be diagnosed using newborn screening in the first days after birth. Disease mapping helps to identify high-risk areas of the disease. This study aimed to evaluate the pattern of CH using the Poisso...
متن کاملSpatio-Temporal Parameters' Changes in Gait of Male Elderly Subjects
Objectives: The purpose of this study was to compare spatio-temporal gait parameters between elderly and young male subjects. Methods & Materials: 57 able-bodied elderly (72±5.5 years) and 57 healthy young (25±8.5 years) subjects participated in this study. A four segment model consist of trunk, hip, shank, and foot with 10 reflective markers were used to define lower limbs. Kinematic data c...
متن کاملEvaluation of Tests for Separability and Symmetry of Spatio-temporal Covariance Function
In recent years, some investigations have been carried out to examine the assumptions like stationarity, symmetry and separability of spatio-temporal covariance function which would considerably simplify fitting a valid covariance model to the data by parametric and nonparametric methods. In this article, assuming a Gaussian random field, we consider the likelihood ratio separability test, a va...
متن کامل